Merge from gnulib (comment changes only).
authorPaul Eggert <eggert@cs.ucla.edu>
Sun, 22 Jul 2012 04:16:53 +0000 (21:16 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Sun, 22 Jul 2012 04:16:53 +0000 (21:16 -0700)
commit66b72d12d859a4a40a4fe2eae415724436e96dd4
tree9ec6ec33e9e7812fcd0dd6c3cacaf85b4a8629ed
parent84c248de61aeb8928264a2918a9e966f2af03c75
Merge from gnulib (comment changes only).
lib/verify.h